Annotated for submission