The ontological proof, which is the first properly metaphysical proof of the existence of God, consequently came to mean that God as the Idea of existence which unites all reality in itself, also has the reality of existence within Himself; this proof thus follows from the Notion of God, that He is the universal essence of all essence. The drift of this reasoning is, according to Anselm (Proslogium, c. 2), as follows: “It is one thing to say that a thing is in the understanding, and quite another to perceive that it exists. Even an ignorant person (_insipiens_) will thus be quite convinced that in thought there is something beyond which nothing greater can be thought; for when he hears this he understands it, and everything that is understood is in the understanding. But that beyond which nothing greater can be thought cannot certainly be in the understanding alone. For if it is accepted as in thought alone, we may go on farther to accept it as existent; that, however, is something greater” than what is merely thought. “Thus were that beyond which nothing greater can be thought merely in the understanding, that beyond which nothing greater can be thought would be something beyond which something greater can be thought. But that is truly impossible; there thus without doubt exists both in the understanding and in reality something beyond which nothing greater can be thought.” The highest conception cannot be in the understanding alone; it is essential that it should exist. Thus it is made clear that Being is in a superficial way subsumed under the universal of reality, that to this extent Being does not enter into opposition with the Notion. That is quite right; only the transition is not demonstrated—that the subjective understanding abrogates itself. This, however, is just the question which gives the whole interest to the matter. When reality or completion is expressed in such a way that it is not yet posited as existent, it is something thought, and rather opposed to Being than that this is subsumed under it.