binary search is everywhere