symbols as predicates