use standard predicates