Read chapters 6 and 7 of CAR.
Do the exercises in chapters 6 that seem non-obvious. I am not going to collect solutions.
You will be expected to present the solutions to the chapter 7
exercises on the board in class, and you have to hand in
solutions to problems 7.6-7.9. Remember these are paper and
pencil proofs.