User blog comment:Ubersketch/Y-sequence formalization attempt/@comment-35392788-20190809153434/@comment-35470197-20190809161624

I note that this is ill-defined even if the OP fixed the difference sequence, because there is no line below the third line which includes the end of the process.