Finished the goto part of the Turing proof.