Furthermore, any further use of A = A type propositions (beyond saying a thing is itself) fails because there is no such thing as true identities (absolute similars, say) because even absolute similars, if they may be compared, must have a different location in either real space or idea space that differentiates them in some fundamental way.