 (Lewis called his proofs “triviality results”, because the conclusions are avoided only in a trivial probability space which is incapable of giving positive probability to more than two incompatible propositions—for instance, is incapable of giving positive probability to \(A \amp B, A \amp{\sim}B\), and \({\sim}A\). The name is widely used in the literature. For recent examples see Khoo and Mandelkern (2019) and Charlow (2019).)