Making it bounded again: grouped is bounded, so groupedWithin should also be if possible. But I think my argument is watertight, meaning that emitting empty groups is a no-go in this regard.