14.3.2. Case Study: Binary Search