When I got to that part I raised an eyebrow through the ceiling. In actual computational theory classes that is only ever brought up briefly during the intro section to automata & turing machines to try and ease math & cs students into writing proofs (which he most definitely knows bc he was a math college student)