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

Fixed.