Annotated final