Parentheses Are Just Typechecking
I go further, parenthesis are really just functions (in the mathematical sense); so all of first order logic comes down to making functions into variables (a la `y=f(...)`).<p>It&#x27;s crucial to not mix together these variable-functions and regular variables.
The real cool thing is having two levels of &quot;variableness&quot; without ever acknowledging as such. That way you mix both levels of variability without ever blending them together.
Similarly you also get to mix together a function description and its result; but like before, the mathematical formalisms will prevent any blending of both.<p>in any case, I still some questions about quantifiers...