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

In addition, I belive that clarifying quantification (or an informal rough description of the range in which variables run through) helps beginners to understand problems. I guess that they tend to think "Why do you consider such a minour counterexample? It is obvious that I am not thinking about that case! Unwritten rules? Why should I explicitly write down such trivial rules? It is never ill-defined, but just your comprehension is poor! Is there any specialist who can understand better??" in their mind. In order to solve such miscommunication, declaring the meanings of symbols are good. If they notice that they are unable, then they possibly understand the problem.