This is from a lecture given earlier this week [1], I hopefully there's a recording that can be made available.

[1] https://www.ucalgary.ca/programs/mathphil/2022-23