a <= b