 This counterfactual version of the Consequence argument nicely highlights a point that the rule Beta version glosses over. The argument relies on a claim about counterfactuals. The argument says that if determinism is true, then at least one of these counterfactuals is true: