max(S(x),S(y)) = S(max(x,y))
max(S(x),Z)    = S(x)
max(   Z,y)    = y
