Recording of a lecture delivered on January 20, 2017, by Matthew Linck as part of the Formal Lecture Series.
