https://griddle-reviews.blogspot.com/2023/07/binary-search-code.html