I think `empty()` is faster than `size()`.