Audio recording of a lecture delivered on March 22, 2013, by James Lennox as part of the Formal Lecture Series.