I am listening to this other lecture here
https://primal.net/e/note1mxhefsxcff8pp27waaqdrp3h9qpzqjnz02cmj7f3uw8v0ulp2yvst0n5gn