... and remove `!empty()`