In a proposition convert all its indefinables into variables; there then remains a class of propositions which
is
has
not all propositions but a type.

2