max(0,X0) = max(X0,0)
max(X0,0) = X0
max(s(X0),s(X1)) = s(max(X0,X1))