Can be inverted i.e. `return empty(`