 (3) Modal arguments: These are arguments with premises which concern modal claims about God, i.e., claims about the possibility or necessity of God’s attributes and existence. Suppose that we agree to think about possibility and necessity in terms of possible worlds: a claim is possibly true just in case it is true in at least one possible world; a claim is necessarily true just in case it is true in every possible world; and a claim is contingent just in case it is true in some possible worlds and false in others. Some theists hold that God is a necessarily existent being, i.e., that God exists in every possible world; all non-theists reject the claim that God exists in the actual world. The sample argument consists, in effect, of two premises: