Annotations indicate CSE-style formatting.