all positive numbers are not negative