When you have `nonempty()` on lines 333/334, you can remove this clause.