Added more predicates