exporting flag predicate