Resorting to Type — Public Lecture