 One possible reaction would be to abandon a Lewis/Stalnaker treatment of counterfactuals. But another solution is to adopt an alternative treatment of disjunction (Alonso-Ovalle 2006, 2009; van Rooij 2006). Indeed, if the disjunctive antecedent is taken to generate two alternatives and if verifying the counterfactual involves separately checking every alternative generated by the antecedent, the problem is avoided.