Title: The Annotated Turing