fixed up predicates