x, y, z, t, u, v, w, a, 
t+v-a
x+y+z+t-u-w-a
-a*u-a*w+t*x+t*z-u*w+x*z+y*z
-a*u*w+t*x*z
