counterfactual definiteness