y_1 \neq y_2