We shall ignore the earliest situation where the counterfactual is vacuously genuine