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