report more clearly when the predicate is non-existant