\[v = x_{i_1} \land v = y_{j_1} \\ w = x_{i_2} \land w = y_{j_2} \\ i_1 < i_2 \\ v \neq w \\\]