 Let “God” designate a being who has infallible beliefs about the future, where to say that God believes p infallibly is to say that God believes p and it is not possible that God believes p and p is false. It is not important for the logic of the argument that God is the being worshiped by any particular religion, but the motive to maintain that there is a being with infallible beliefs is usually a religious one.