We must distinguish three distinct theses: (i) that identical objects are necessarily identical; (ii) that true identity statements between rigid designators are necessary; (iii) that identity statements between what we call 'names' in actual language are necessary.