Plantinga's modal ontological argument in 'The Nature of Necessity' (1974) provides fully explicit p...