Theists often claim that human beings have libertarian freedom, i.e. that at some time t, some human S performs an action A and yet has the ability to refrain from A and can exercise this ability at t. Theists also often claim that God knows what humans will do before they do it. Arguments that these claims are incompatible have attracted much discussion since Nelson Pike's seminal "Divine Omniscience and Voluntary Action."' One such argument runs this way: