Here are the videos to go with the guest lecture I just gave at Harvard. It’s not too different from the one that I gave last time, except that I spent the entire time on the core points, and skipped the section at the end about phantom types.

Here it is, in two parts.