My late-2018 Mill Series lecture. The lecture, Q&A, and post-Q&A conversation ran for almost four hours. Professor Brandon Van Dyck has edited the material, organizing it thematically and providing a useful set of headings. The result is below and at YouTube: