More work on predicates