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