x + (-x) = 0
