 (The variables \(x_n\) are called “argument” variables. They will include individual variables of r-type \(\iota\), but also variables of higher types. The variable \(\phi\) can occur as a predicate in \(\phi(x)\) and as an argument in \(\Psi (\phi)\), and cannot be of type \(\iota\) to occur in a wff.)