forall B in A, forall p,q,r in P: * p(B)=1 /\ delta(x)">"p forall x in B => p"=>"q * p(B)=1 /\ r">"delta(x), forall x in B => r"=>"p => always prefer a lottery that gives better results with probability 1.