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

Why couldn't you quantify or define all symbols even though I pointed out at least three times? If you could not understand the importance of the clarification, please ask me. Just ignoring the recommendation is not a solution. I hope that you can understand the difference among "for any ordinal a", "for all standard expression in CNFlex", and "for all strings a". Although your current definition is also ill-defined, the lack of declaration prevents others to point out it, because the description of the problem heavily depends on the quantification.