Wednesday November 20, sections 18.1-18.3.

1. some explanation on the proof of Lemma 18.4 would be helpful

2. Why do they use the definition on 18.7 for symmetric?