implemented set->predicate function