b'Jonathan Zhu speaking at the BIRS workshop 23w5049: Non-Linear Critical Point Theory in Analysis and Geometry (Aug 06 - Aug 11). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.'