If the original value of x was negative, then –x, the opposite-signed version of x, would have to be positive. For instance, if I start with x = –3, then –x = –(–3) = +3, which is positive.
