nicer definition for addends, remove cond