introduce nonempty predicate