Premise: Terms contained in the glossary appear in bold type in the text the first time they are used in the major sections.

Hypothesis: Bold text is used to highlight number differences.
Relation: contradiction