export matches predicate