 Since then, various theorists have proposed to abandon LLE (viz., Nute 1980; Fine 2012; Ciardelli, Zhang, &amp; Champollion 2018; Santorio 2018) in order to endorse SDA without Monotonicity. Santorio (2018) in particular provides a systematic comparison between pragmatic accounts based on the idea that SDA might be based on a mechanism akin to scalar implictures (see Klinedinst 2009), and semantic accounts based on the idea that logically equivalent antecedents can directly generate different alternatives. Santorio’s proposal, in a nutshell, is that \(A&gt;C\) is true iff the alternative propositions \(A_1,\dots,A_n\) that are ways for \(A\) to be true are such that the closest worlds in them are \(C\)-worlds.