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

Fixed. I forgot to credit Yukito.