added some extra predicates