implement addition with successor