 Critics have resisted numerous aspects of the argument (for comprehensive discussion, see Oppy 1996). The inference to (7), for instance, assumes that the actual world is possible relative to w*. But that assumption is only legitimate on some models of how talk of modality (i.e. of possibility and necessity) works. Thus, the critic claims, it hasn’t been shown that w* has the relation to the actual world that licenses the conclusion that God actually exists.