Presentation at Michael Smith's graduate seminar PHI524