Then if and had been false, would have been false, simply because the worlds in which is false are too remote, compared to those in which is false, to be relevant to the antecedent of the counterfactual.