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

> Also where is the comparison algorithm for CNF and Wainer hierarchy?

If you have to ask that, you probably don't know what a "comparison algorithm" even is.

I agree with P-bot. You have absolutely no idea what you're talking about.