x_1 \neq x_2