 It is not uncommon to let the vocabulary of classical quantificational logic include 0-place predicates, which are treated as propositional variables. This approach makes propositional logic a proper fragment of pure quantificational logic, and it construes quantification into the position of a sentence as a species of second-order quantification, i.e., quantification into the position of a 0-place predicate.