annotated models and tests