For reading the Annotated Turing