https://thewallacehouseblog.blogspot.com/2022/08/binary-search-code.html