Recording of a lecture delivered by Mark Sinnett on November 30, 2018, as part of the Formal Lecture Series.
