Anselm begins his famous ontological argument by describing God as the being greater than which none is conceivable. His description seems coherent and intelligible. Consequently a divine being thus described may be spoken of as existing in the understanding. But if so, He must actually exist as well, otherwise a being greater than Him could possibly exist, namely, one of whom the additional great-making-term ‘actual existence’ may also be predicated. The result would be a contradiction, for we would now have to concede, that contrary to our initial claim, the being harbored in our understanding is inferior to the greatest since another being who had actual existence would be greater. To avoid the contradiction we must concede actual existence to the absolutely perfect being.