Wrote a bit about the theory for binary search