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.