Jim Dolan and I are trying to learn about modular forms and the Modularity Theorem, once known as the Taniyama–Shimura–Weil Conjecture. It’s an irresistible challenge. After all, this result implies ...