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

Again, an oversight. I think the best way to fix this would be to move step 3 at the beginning of step 4.