P<=>(p1=>(p2vp1))?