simplify the definition of addition