Also, no `assert(!empty)`?