>I hope you know this already, but if you don't, you're in luck: this is this most important thing you've heard all year! Please think about it and ask questions until it revolutionizes the way you think about logic.

For me it revolutionized how I'm thinking about logic, it's a completely new perspective, and it actually simplifies things a lot, thank you @John! Moving to lecture 9 now, I wonder what is going to happen next.