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

Wrong Answer.

In addition, quantify or define all variables. Define the notion "a has a notation x". Including unspecified stuffs and intuition-based explanations never gives an algorithm.

Well, I guess that you will say "it is not finished, and hence it is not a wrong answer" as you did. So could you clarify that you intend that it is the final answer?