Replace repeated word
Transitivity AND reflexivity in case 1 of the inductive case of example 2.2.2
Don't explain where the frame rule is valid in a new paragraph
Fix paragraphing in array access triple