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