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

> I don't know what you exactly mean by quantifying symbols.

Oh... Why did n't you ask me the meanings before ignoring the recommendation so many times...? Since you stated that you know set theories, I thought that you knew quantifications.

If you use a new symbol, say \(a\), other than a variable for a comprehension or replacement and an indeterminate of a funtion or a relation, you should define \(a\) only using symbols which has already been defined or quantified, or quatify \(a\) by saying "for all set \(\#\)", "for all ordinal \(\#\) below \(\Omega_1\)", "for all string \(\#\) consisting of A, B, and C such that \(a\#\) is a standard expression in CNFlex", and so on.

Your current version has at least two problems. For example, the standard expression ACAB should not be standard. Please check the written precise rule carefully by yourself without interpolating it in your mind.