ter x x = 0
ter x y = x+y