x, y, z, t, a, 
-t*y+y*z+a-x
t*z-x*z+a-y
t*x-t*y+a-z
x*y-x*z+a-t
