 Conditionals like  (8a)  have figured in debates about the semantics of counterfactuals and have been modeled either as a related connective (D. Lewis 1973b: §1.5) or a normal would-subjunctive conditional embedded under might (Stalnaker 1980, 1984: Ch.7). But the more complex examples  (8b)–(8d)  highlight the need for a more refined compositional analysis, like those surveyed in  Indicative and Subjunctive Conditionals.  So, while this notation will be used in  §1.4  and throughout  §2  and  §3,  it should be regarded as an analytic convenience rather than a defensible assumption.