User blog comment:Ubersketch/CNFlex/@comment-35470197-20190909234708/@comment-35470197-20190910014022

I guess that the OP just does not understand what the points are. That is why he is randomly edits the answers until someone express "congraturations". Since I am not certain how he can understand problems in a precise manner, I think that it is good for him to write down in more formal a way. It helps him to understand problems more concretely.

For example, I tried to point out the problem on the standard form aroung the appearence of #_0. But even if I did, he could reply "it is a typo" or "a in a#_0 is not intended to be a single valid expression, but the concatenatin a#_0 is a valid expression" and so on. If he completely quantifies or defines all symbols, such kind of safety nets do not work, and hence he can honestly face on the existing problem by himself. Therefore he should clarify the quantification of all undefined symbols.

Anyway, the most problematic attitude is not the mistakes or the random walking in my opinion. It is the ignorance of recommendations such as quantifying undefined symbols and stopping to tell others incorrect knowledge on higher order logic. If he could not understand why it is necessary or how it can be done, he could ask us. But he has never done so, even though this is not the first time. It is not difficult to do so, and hence he will soon improve himself, I believe.