be more explicit about what is required in an annotation and not