Is this really needed? I though size on on a `TreeSet` was fast.