t, z, y, x, 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
