better predicate names