First, if one of the conditions is unintelligible for mathematical truths, or at least one for which no remotely satisfactory account has been given, where after all is the greater generality and unity of a counterfactual account over a causal account?