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