[add] a_negate()