HEADER1 "Interesting thing"
The object HEADER1 is a mark-up type, with ancestor classes HypertextParagraph < Hypertext < BasicList < Thing.