Mental Model
Binary search finds a number by repeatedly cutting the search area in half until the number is found or no area remains.
Analogy: Imagine looking for a word in a dictionary by opening it in the middle, then deciding if the word is before or after that page, and repeating this until you find the word.
Array: [1] -> [3] -> [5] -> [7] -> [9] -> [11] -> [13] -> null
Indexes: 0 1 2 3 4 5 6
Pointers: ↑mid
↑low
↑high