 in a premise semantics, a “would”-counterfactual is true in a world \(w\) iff every way of adding as many facts of \(w\) to the antecedent as consistency allows reaches a point where the resulting set logically implies the consequent. On the other hand, a “might”-counterfactual is true in a world \(w\) iff not every way of adding as many facts of \(w\) to the antecedent as consistency allows reaches a point where adding the consequent would result in an inconsistent set.