. . "7 x is a positive number." . .