I you want to check the video I'd recommend to skip to approximately minute 13, as the beginning is pretty boring - 1 minute of musical introduction, then the h

I you want to check the video I'd recommend to skip to approximately minute 13, as the beginning is pretty boring - 1 minute of musical introduction, then the hand of Edward Witten looking in his notes, and then some introduction in what I believe is Dutch.