If the proof is correct the distinction between the a priori/a posteriori and necessary/contingent becomes less clear. The same applies if identity statements are necessarily true anyway. (For some interesting comments on the proof, see Lowe 2002.) The statement that for instance “Water is identical to H2O” is (then) a statement that is necessarily true but a posteriori. If CT is the correct account of modal properties we still can keep the intuition that identity statements are contingent and a priori because counterpart theory understands the modal operator in a different way than standard modal logic.