Rewrite introduction to annotation constraints