x, y, z, t, d, c, b, a, 
t*x+x*y+x*z-a
t*y+x*y+y*z-b
t*z+x*z+y*z-c
t*x+t*y+t*z-d
