 This result, however, is compatible with the idea that if-clauses fundamentally act as restrictors of overt or covert operators (see Lewis 1975; Kratzer 2012; and  section 8.1  below). Égré and Cozic (2011) use the result to vindicate that view, though Charlow (2016) argues that the restrictor view is not in itself immune to triviality. Another take on it concerns three-valued approaches. In the three-valued case, the assertability of a proposition is naturally viewed as the probability of that proposition being true given it has a determinate truth value (McDermott 1996). Assuming De Finetti’s scheme for the conditional, the assertability of \(A&gt;C\) is then equal to the probability that \(A\wedge C\) is true, given that \(A\) is true, and so to the conditional probability. This derives Adams’ Thesis for simple conditionals. That fact notwithstanding, note that with \(a, b,c\) as atoms and \(\Pr\) as equiprobable on them, again there is no three-valued proposition whose probability is ½ for the conditional \(a\vee b &gt; a\), if we define a possible world by an assignment of one of the three values to atomic propositions (and handle disjunction Strong Kleene style). Rather, if three-valued conditionals do express propositions, those propositions then need to be viewed as relations between those worlds where the sentence is true and those where it is defined, so again as more complex objects than set of worlds (cf. Dubois &amp; Prade 1994 who represent them as pairs).