Work through more of the exercises.
Nearly completed with only two proofs and two optional exercises remaining.