additivity

not defined yet