  One classical objection to the ontological argument, which was first leveled by Gaunilo against Anselm’s version of the proof, is that it makes an illicit logical leap from the mental world of concepts to the real world of things. The claim is that even if we were to concede that necessary existence is inseparable from the idea of God (in Kant’s terms, even if necessary existence were analytic of the concept “God”), nothing follows from this about what does or does not exist in the actual world. Johannes Caterus, the author of the First Set of Objections to the Meditations, puts the point as follows: