forall B in A, forall p,q,r in P:

=> always prefer a lottery that gives better results with probability 1.