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

I will do them, but I have other things to do.