Text: This glossary is presented as the last appendix to the volume.
Entailment: The final appendix in the volume is this glossary.
Contradiction: This glossary is at the front of the book, just before the introduction.