“From God’s foreknowledge of a free action, one may infer only that the action will occur, not that it must occur. The agent performing the action has the power to refrain, and were the agent to do so, God’s foreknowledge would have been different. Agents cannot bring it about both that God foreknows their action [...]