 The first phenomenon concerns the interpretation of disjunction in the antecedent of a counterfactual conditional. According to the classical treatment due to Stalnaker (1968) and Lewis (1973), a counterfactual \(\phi\leadsto\psi\) is true in a world \(w\) just in case, among all worlds that make \(\phi\) true, those that differ minimally from \(w\) also make \(\psi\) true. It is well known however that a Lewis/Stalnaker analysis invalidates the following inference pattern (Fine 1975a; Nute 1975):