The success of our form of the ontological argument therefore turns out to depend on the credibility of, our first nonmodal translation of the premise that something exists in the understanding, than which nothing greater can be conceived.