a is smaller than b