c_1, x_1, x_2, x_3, 
x_1*(x_1-1)
x_3-x_2
c_1*x_2-1
