User blog comment:Ubersketch/CNFlex/@comment-35470197-20190908003106/@comment-34422464-20190908015103

3 has standard expression ABABCABC so now i see the problem.

Also the comparison is lexicographic, like how a dictionary orders words.