x, y, z, t, 
x+y+z+t
t*x+t*z+x*y+y*z
t*x*y+t*x*z+t*y*z+x*y*z
t*x*y*z+1
