“…The characteristic of the third argument is, on one hand, its use of a sentential operator 'N' such that 'Np' means that "p and no one has, or ever had, any choice about whether p" (van Inwagen 1983: 93) and, on the other, its appeal to the proposition P 0 about a remote past "before there had ever been any human beings" (van Inwagen 1983: 96, 184). In what 4 It's not clear exactly which items are temporally indexed. In my formulation, following the recent writers, I stipulate that the verb 'render' is time-indexed as well as propositions.…”