User blog comment:Ubersketch/Y-sequence formalization attempt/@comment-35392788-20190809153434/@comment-34422464-20190809224134

Thanks for telling me, anything else I need to fix?