the description of 'denotation' revised.
the style of 'highlight' block revised.