Before a fair, indeterministic coin is tossed, Lucky, who is causally isolated from the coin-tossing mechanism, declines to bet on heads. The coin lands heads. The consensus is that the following counterfactual is true:
(M:) If Lucky had bet heads, he would have won the bet.
It is also widely believed that to rule (M) true, any plausible semantics for counterfactuals must invoke causal independence. But if that’s so, the hope of giving a reductive analysis of causation in terms of counterfactuals is undermined. Here I argue that there is compelling reason to question the assumption that (M) is true.