p1 != p2