Garantir l'exactitude des prédicats en faisant:
Évaluation approchée rapide, mais avec certification des comparaisons, puis:
Complexité: T(filtre) + P(échec) * T(exact)