User blog comment:Ubersketch/Formal definition for a fundamental sequence system/@comment-35470197-20190807134704/@comment-34422464-20190807232835

Fixed.