User blog comment:Ubersketch/An outline for an ordinal notation/@comment-31966679-20190712152531

This looks like it should have some edge cases were the definition doesn't cover it...