Types can never be distinguished from each other by saying (as is often done) that one has th[i|e]se but the other has th[at|ose] propert[y|i]es, 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.
11