The glossary is being gradually proof checked, but currently has many typos and misspellings.
Used in Chap. 2: page 13
Used in glossary entries: reasoning
