Colloquium talk on Friday, October 18 at 2:00 pm