A talk delivered at EAMS 2020 by Christian Lawson-Perfect.
(This recording was created with Explain Everything)