`empty()` can be used