Performed by Tadashi Tokieda, director of studies in mathematics at Trinity Hall, University of Cambridge.