Def/Nonempty 1