added some set-style predicates to testing