Click proofsys_annotations.pdf link to view the file.