*** Derived: q_is_not_empty ***
