 Warmbrōd (1981a,b) outlines parallel explanations of the counterexamples presented to SDA, Contraposition, and Transititivity. This significantly complicates the issue of whether antecedent monotonicity is the key issue in understanding the semantics of counterfactuals. It appears that the non-monotonic interpretation of counterfactual antecedents can either be captured pragmatically in the way that accessibility spheres change in context (Warmbrōd 1981a,b), or it can be captured semantically as we will see from similarity analyses in §2.3. There are significant limitations to Warmbrōd’s ((1981a,b)) analysis: it does not capture nested conditionals, and does not actually predict how \(R(w)\) evolves to satisfy (P). Fintel (2001) and Gillies (2007) offer accounts that remove these limitations, and pose a challenge for traditional similarity analyses.