 The argument is a conditional proof: Assume determinism and show that it follows that no one has, or ever had, a choice about any true proposition, including propositions about the apparently free actions of human beings.