\x,x_1 -> x_1
\x,x_1 -> x