Annotation design and example