P<=>((p1=>p3)=>((p2=>p3)=>((p1vp2)=>p3)))?