Recording of a lecture delivered on January 19, 2018, by Aaron Garrett as part of the Formal Lecture Series.
