U::isEmpty and U::notEmpty