Strictness of addition functions.