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

Oops. I completely misunderstood the definition. Thank you for the explanation!