The paper provides two characterizations of probabilistic values satisfying three classical axioms (linearity, dummy player and any of three "symmetry" axioms) together with a new probabilistic-efficiency axiom. This new axiom requires that players of a game allocate the total amount of their...