I will deliver a talk at the Department of Computer Science, University of Manchester, on 11 February 2026.