Been using the word "witness" wrong. s/witness/digest/.
Other minor wording fixes, updated venn diagram with names to match.