“…Existing theories of indicative conditionals in natural language semantics, despite their differences, unanimously validate Cumulative Transitivity. 4 So 4 This includes accounts of truth-conditional varieties (Lewis 1973;Stalnaker 1968), including even McGee's (1985) semantics that invalidates modus ponens, suppositional varieties (Adams 1966(Adams , 1975Edgington 1995Edgington , 2001, informational varieties (Yalcin 2007(Yalcin , 2012(Yalcin , 2016Bledin 2014), and dynamic varieties (von Fintel 2001; Gillies 2004Gillies , 2007Gillies , 2009Willer 2017). Some of these accounts, such as Lewis (1973), von Fintel (2001), and Gilles (2007), are proposed for counterfactuals, but they can be straightforwardly carried over as accounts of indicatives.…”