a < b instead of a <= b