It can be a good habit to use `!fids.isEmpty()` where possible because some data-structures can test emptiness faster than they can measure size, but it's fine here (and many do know their own size), just a general comment.