Recording of a lecture delivered by Jason Tipton on November 16, 2018, as part of the Formal Lecture Series.
