Chapter 36: Turing Equivalence Proof Succeeds