 This case against PAP follows Frankfurt’s recipe for constructing counterexamples (Hunt 1996, 1999; but cf. Zagzebski 1991: ch. 6; Widerker 2000: 187–8). God’s foreknowledge makes it “inevitable” that Kurt will steal John’s lunch, but does not “bring it about” that he does so: Kurt steals on his own, without divine interference. Evaluating this proposed counterexample would lead us beyond this scope of this entry into the topic of divine foreknowledge (see entry on  divine foreknowledge and free will).  But some of the moves one might make here will come up later when replies to Frankfurt’s own proposed counterexamples are considered.