Added a bit to 5; about a quarter of the way through the abstract algebra in 17
Finished proofs for section 5
Finished much of 17, except for protocols; added definitions