On: If 1+x is 1, how much is 1-x?

[eccstartup]

Mathematica gives 1.

    Int[1]:= 1 - x /. Solve[1 + x == 1, x]
    Out[1]= {1}