binarySearch works