We need to expand the set of possible classes to the opposite sign for the first operand if we don't know the sign of the second operand.
