x,y\in P