[1] "b is not greater than a"