This paper deals with some metaphilosophical aspects of the modal ontological argument originating from Charles Hartshorne. One of the specific premises of the argument expresses the idea that the existence of God is not contingent. Several well-known versions of the argument have been formulated that appeal to different ways of clarifying the latter. A question arises: which of the formally correct and relevant versions is proper or basic? The paper points to some criteria of formal correctness, and distinguishes two types (...) of relevance for these versions: strong and weak. Its aim is to furnish a strictly worked out answer to the question, taking into account each of these types. As a result, a very simple, formally correct and relevant version of the modal ontological argument is formulated. The results obtained are also used to criticize a popular belief about the relations in which the main versions of the modal ontological argument stand to one another. (shrink)