Annotating for comprehension