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

I see.