 If Lewis’s theory of counterfactuals (D. Lewis 1973, 1979) is correct, or even more or less correct (Schaffer 2004), then the relevant counterfactuals about the past and laws, at a deterministic world, are: