basic predicates work