counterfactual

not defined yet