Interface PredicateFinalStep