Improve introduction and Proofs chapter