Text: Terms contained in the glossary appear in bold type in the text the first time they are used in the major sections.
Entailment: Bolded text highlights the first time a term is used.
Contradiction: Bold text is used to highlight number differences.