EXTRACREDIT Jeremy J. Carroll Annotations participate a little in the semantics.