The binary search is debugged
-by John