Recording of a lecture given on April 18, 2014, by Christopher Kelly as part of the Formal Lecture Series.
