Annotated specs