On the Logic of the Ontological Argument · Study