The annotated version