 Going this way poses some logical challenges. For example, consider a preference relation over probabilistic mixtures of outcomes, where \(m^t(a,b)\) stands for obtaining a with a probability of t, and b otherwise. This setting is in the scope of von Neumann and Morgenstern’s 1944 well-known ‘continuity axiom’ that is characterized by an implicit infinite disjunction: 