some work on Section 3.5