 Alternatively, the algorithm may take the ceiling of formula_18.This may change the result if the target value appears more than once in the array.In the above procedure, the algorithm checks whether the middle element (formula_17) is equal to the target (formula_9) in every iteration.