In virtue of (4), propositions reporting God’s past beliefs are accidentally necessary. If it is true that Eighty years ago God believed that Jones will mow his lawn tomorrow (to use Pike’s example), then that proposition reports a past event and, thus, is now accidentally necessary. Now from the assumptions that God is omniscient and that God believes p, it follows that p. If we strengthen the first assumption to hold either that God is essentially omniscient or that he is infallible (see section 2 above), the proposition God believes p by itself entails p, that is, it is not possible that God believe p and p be false. Let us develop the argument under one of these stronger assumptions. Then since God believes that Jones will mow his lawn tomorrow entails Jones will mow his lawn tomorrow, given that the former is accidentally necessary and that the latter is contingent, it follows, with the help of (5), that Jones will mow his lawn tomorrow is also accidentally necessary. But then, in view of (6), no one, not even Jones himself, is able to make it false that Jones will mow his lawn tomorrow. If there is nothing Jones can do to avoid mowing his lawn tomorrow, then he does not do so freely. This action was chosen arbitrarily, and so the argument is supposed to show that no action that God knows ahead of time will be performed is free; divine foreknowledge is incompatible with human free action.