NONEMPTY

Definition of NONEMPTY