Annotation and syntax