ontological argument, maximal greatness, modality, modal sentence, non-modal sentence, modal operator,