Forall p,q,r in Ps and a in [0,1] p=>q => ap+(1-a)r=>aq+(1-a)r (called independence or substitution)

Independence often fails in real life.  People do not always act as if things are independent.