From a basic binary search, this is very intuitive. Your explanation was well written.