A refined theory of counterfactuals