-(-x) = x