Couterfactual reasonning