add x y
(add x) y