User blog comment:Ubersketch/Y-sequence formalization attempt/@comment-35470197-20190807231546/@comment-33713741-20190808005935

NO ITS NOT