Finished the Turing proof and wrote a brief conclusion.