Added an example image for the Turing proof.