added more predicates