 Kripke and Ruth Barcan Marcus offer an argument to show that there are no contingent identities. Here is one version of that argument often referred to as the Modal Argument for the Necessity of Identities: