Annotation Type Invariant