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