predicates, all tests passed