Delegates status matching to predicate.
true when predicate accepts p1.
true
status under evaluation.