Def/nonempty 1