 Versions of the ontological argument discussed by Leibniz and Kant have been elaborated by Robert M. Adams (1971), Alvin Plantinga (1979), Peter van Inwagen (1977, 2009) and others. These versions employ contemporary modal semantics and metaphysics to motivate the following two assumptions: