User blog comment:C7X/CNF Comparison Algorithm/@comment-32213734-20200106184503/@comment-37485018-20200107031005

You left this comment here about normal forms, which says that the set of strings is uncomputable if it references the comparison algorithm itself, if I understand it correctly.