The Long Search for Collatz Counterexamples - Clay, Oliver (Journal of humanistic mathematics, 2023)