G4 The Ontological Argument