[Proof reading - search]: stopped at functiional binary search