For those interested in the lecture associated with these notes: https://www.youtube.com/watch?v=GNc1t6Q5Dls