There are thus two ways in which signs are similar. The names Socrates and Plato are similar: they are both names. But whatever they have in common must not be introduced before Socrates and Plato are introduced. The same applies to a subject-predicate form etc. Therefore, thing, proposition, subject-predicate form, etc., are not indefinables, i.e., types are not indefinables.