TEEEEEEEENNNNNSSSSEEEEE!
TTTTTTEEEEEEEEEENNNNNNNNNSSSSSSSSSEEEEEEEEE!!!
I am a Senior Rangler
Rephrase opening of 4.2
Rephrase opening of 4.3
'we will realise' -> 'we realise'
Move the footnote about texttt to the first instance of its use
Remove the 'even in proofs' bit from the footnote
Fix backref to ms partial correctness thm
Fix spacing in proof of thm 4.4.2
Be consistent in \mathtt use