convert invariant addition