Fixed the m=j+1 problem for the goto case in the Turing proof.