BinarySearch is implemented