This project is dedicated to the memory of Craig K. Harmon. https://qed.org/ckh