CMU HoTT Seminar Online: Shulman (part III)