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