Necessary Counterfactuality view 3