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