annotating the binary search spec for clarity.