Annotations for introduction