|=  [a=@ud b=@ud]  (add a b)