Incompatibilism proved

The consequence argument attempts to show that incompatibilism is true by showing that if there is determinism, then we never had, have or will have any choice about anything. Much of the debate on the consequence argument has focused on the "beta" transfer principle, and its improvements. We shall show that on an appropriate definition of "never have had, have or will have any choice", a version of the beta principle is a theorem given one plausible axiom for counterfactuals (weakening). Instead of being about transfer principles, the debate should be over whether the distant past and laws are up to us.