Chapter 1 informal proofs done