The binary search