RE: Strictness of addition functions.