User blog comment:Ubersketch/Y-sequence formalization attempt/@comment-35470197-20190807231546/@comment-34422464-20190808115403

stfu