User blog comment:Ubersketch/A proposal for a standard/@comment-34422464-20190813205023/@comment-34422464-20190814120050

Ok, but I don't really care about that. Where's the CNF comparison algorithm? Do I just have to make it myself?