 One response to this challenge was in the previous section. Another modifies the Consequence Argument so that it doesn’t rely on PAP. This is the “Direct Argument”, direct because it doesn’t go through PAP. It can be reconstructed along the following lines (a formal version is in van Inwagen 1980):