Types can never be distinguished from each other by saying (as is often done) that one has these but the other has those properties, for this presupposes that there is a meaning in asserting all these properties of both types. But from this it follows that, at best, these properties may be types, but certainly not the objects of which they are asserted.