(x_2,y_2) \in p \times \mathcal{E}