[this text is published as a classroom exercise draft]
Of course they don’t, but the point here was just to check what is the optimal length for a heading.