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