Experimentally generalize `nonempty'