redefining (+) as succ teacher