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