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

> I noticed a few typos I made.

Overlapping Case Classification

> Also all of the variables are expressions in CNF, I will make the variables more clear later.

Then please clarify what does "expressions in CNF" precisely mean. I am afraid that you have circular logic.