User blog comment:Ubersketch/CNF comparison algorithm/@comment-35470197-20190817230831/@comment-34422464-20190819143530

ok