 Richard Gale and Alexander Pruss (1999) advanced a modal version of the cosmological argument. They reject the strong version of the PSR, according to which “for every proposition \(p\), if \(p\) is true, then there is a proposition, \(q\), that explains \(p\)”. In its place they favor using a weak version of the PSR—it is possible that for every true proposition, there is a proposition, \(q\), that explains \(p\)—that they believe is less question-begging and more initially acceptable to critics. They phrase the argument in terms of contingent and necessary propositions. A contingent proposition is one that is both possibly true and possibly false (i.e., true in some worlds and false in others); a necessarily true proposition is true in every possible world. In its simplest form, the argument is (1) if it is possible that it is necessary that a supernatural being of some sort exists, then it is necessary that a supernatural being of that sort exists. Since (2) it is possible that it is necessary that a supernatural being of some sort exists, (3) it is necessary that this being exists. The being that Gale has in mind is a very powerful and intelligent designer-creator, not the perfect God of Anselm, for this perfect God who would exist in all possible worlds would be incompatible with the existence of gratuitous and horrendous evils to be found in some of those possible worlds.