rewritten paragraph about binary search