-P = (x_p, -y_p)