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