It is worth noting that as van Inwagen originally formulates the doctrine of deter minism, L together with a proposition expressing the total state of the universe at a time later than now necessitate a proposition expressing the total state of the universe now (1983: 65; Campbell 2007: 106). So a version of the Consequence Argument could be constructed using a proposition expressing some distant future total state occurring after the demise of humans about which no one has any choice. Adam's act A, and all other human acts, could presumably be shown to be unfree by means of such an argument. The trick would be to find a future total state that is causally isolated from human acts.