Annotated models