b is not greater than a