Recording of a lecture delivered on December 2, 2011, by Gabriel Pihas as part of the Formal Lecture Series.
