Worked some more on Section 2.3