Bug In Binary Search Computerphile