Finished solutions to ch 3 proofs
Started exercies for ch 3