. "that elements were of the types representable in annotations, or that" . . .