Terminology: Definition -> Gloss