predicates exos