predicates

not defined yet