 Now the phenomenon of language relativity can be described more accurately as follows. Let \(L_1\) be a sublanguage of \(L_2\) and assume that \(T_1\) and \(T_2\) are, respectively, the pure \(L_1\)-theory with identity and the pure \(L_2\)-theory with identity. Let \(M_1\) and \(M_2\) be models of \(T_1\) and \(T_2\), respectively, having the same domain. Assume that \(a\) and \(b\) are individual constants having the same interpretation in \(M_1\) and \(M_2\). Let \(E_1\) and \(E_2\) be the identity symbols of \(L_1\) and \(L_2\). It can happen that \(E_1 (a,b)\) is true in \(M_1\) but \(E_2 (a,b)\) is false in \(M_2\). We can then say, with Geach (1967; see §4) and others, that the self-same objects indiscernible according to one theory may be discernible according to another.