Every few years I forget how Godel’s incompleteness stuff works so I’m glad ot have watched this as a refresher.
