User blog comment:Ubersketch/An outline for an ordinal notation/@comment-35470197-20190712053014/@comment-34422464-20190712164531

Yeah, some cases get stuck. I made a few rules to prevent this from happening.