No bug. Add some comments to items_before and items_at_least.