 However, Kripke (1963b, p. 89, note 1) is loath to adopt a solution that, like the ones just suggested, involves “revising quantification theory or modal logic”. So instead Kripke opts for another that he borrows from Quine. In his account of quantification, Quine (1951: §15) points out that any occurrence of a name in an ordinary logical truth is inessential to its truth: what is said of the referent of the name could just as well be said of anything. Thus, it is not in virtue of any distinctive properties of God or Socrates that the following proposition is true: