counterfactualizes