Folosind un invariant am demonstrat corectitudinea cautarii.

*Variante:*
Ideea e foarte flexibila. Alt avantaj e ca folosind invarianti pentru cautarea binara, scriind algoritmul ii si demonstrati corectitudinea :).

Ideea e foarte flexibila, putem schimba usor invariantul pentru a aborda variantele problemei mentionate mai sus. De exemplu pentru a gasi ultima pozitie din sir mai mica decat x putem folosi invariantul <tex>A[lo] \le x < A[hi]</tex>
 

Aceasta abordare e detaliata in cartea Programming Pearls de Jon Bentley.