Wow I never thought of that. I think I've looped over `.size()` quite a few places.