Presentation at the ICCS Summer School 2025 at Newnham College in Cambridge, UK.