HEADER5 x
HEADER5 "Interesting thing"
The object HEADER5 is a markup type, with ancestor classes HypertextParagraph < Hypertext < BasicList < Thing.