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