elaborated on a reference to the notEmpty function