Click higherorder_annotations.pdf link to view the file.