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