Plantinga's modal ontological argument shows that S5-based necessity and conceptual necessity collap...