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

I noticed a few typos I made. Also all of the variables are expressions in CNF, I will make the variables more clear later.