But this much of Analysis is correct: to assess the truth of a counterfactual we must consider whether the consequent holds at certain antecedent worlds; we should not consider all antecedent worlds, but only some of them.