add(Z,y) -> y
add(S(x),y) -> S(add(x,y))

[Z]=1
[S](x)=x+1

[add](x,y)=max(x,y)


