superaddition

not defined yet