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.