 Van Fraassen (1976) extends Stalnaker’s Thesis to right-nested conditionals of the form \(A&gt; (B&gt;C)\) in which \(A, B,C\) are Boolean, and to left-nested conditionals \((A&gt;B)&gt;C\) with the same restriction, and he can also deal with specific conjunctions and disjunctions of conditionals. Van Fraassen’s proposal involves a product space construction, relying on so-called Stalnaker-Bernoulli models, allowing him to assign probabilities to infinite sequences of worlds based on standard Stalnaker models. The construction is used in Stalnaker and Jeffrey (1994) and extended in S. Kaufmann (2009). One noteworthy aspect of the construction is that the probability of right-nested conditionals of the form \(A&gt;(B&gt;C)\) is not in all cases identical to the probability of \((A\wedge B) &gt; C\). McGee (1989) on the other hand proposes a distinct construction that does not permit left-nested conditionals, but which is intended to secure the law of import-export for right-nested conditionals (famously, by giving up Modus Ponens for nested conditionals). Both approaches have some probabilistic principles in common, however, for instance