 But a more troubling lesson is that we face an uncomfortable choice: either there is no such thing as the proposition \(A \rightarrow B\), or the probability of the proposition \(A \rightarrow B\) doesn’t always match \(p(B\mid A)\). The first option would seem to make assertions of the form “If …then …” a peculiar exception to the compositionality of natural language semantics (but see Edgington 2000). The second option is counterintuitive, and also apparently counter to empirical evidence that people ordinarily do take \(p(A \rightarrow B)\) to be the same as \(p(B\mid A)\) (Douven and Dietz 2011).