Page 1116 - AP Computer Science A, 7th edition
P. 1116
14. (E) When the loop is exited, either key = a[mid] (and mid has been returned) or key has not been found, in which case either a[low] ≤ key ≤ a[high] or key is not in the array. The correct assertion must account for all three possibilities.
