 In theorem ∗14·3 we find one of the rare occurrences of bound variables ranging over propositions p and q of functions that are not predicative. (Suppose that p and q are of some r-type \(()/n\) and f is a function of those propositions, f might have r-type \((()/n)/m\) for \(m, n &gt; 1\)). Here we also see an occurrence of a formula \(\imath x \phi (x)\) in subject position expressing a proposition as an argument of such a function. These expressions do not figure in theorems later in PM and only occasionally in the introductory material of some sections. Theorem ∗14·3 asserts that in truth-functional contexts the scope of a (proper) description does not effect the truth value of a proposition in which it occurs: