The proposed counterexample to the thesis that no instance of RI is true fails.

“If ‘\(A\)’ and ‘\(B\)’ refer to the same objects throughout (1), the first conjunct of (1) is not an identity statement, and the counterexample (to the thesis that no instance of RI is true) fails. If both conjuncts are identity statements in the required sense, ‘\(A\)’ and ‘\(B\)’ must refer to word types in the first conjunct and word tokens in the second, and the counterexample fails” (Perry 1970).