Formalisation chapter mostly corrected.
Jordan formalisation read through.
Correct JV1 but not read through yet.
Correct jordanVerification2. Still to read through.
Hard-drive starting to fail. Must commit now!