(x_1,y_1) \in p \times \mathcal{E}