User blog comment:Syst3ms/A formal interpretation of Y sequence : F sequence/@comment-35470197-20190810061448/@comment-35392788-20190811141847

The issue has been discussed and is now fixed.