x y z a
-x -y z+1/2 a
x+1/2 -y z a
-x+1/2 y z+1/2 a
