improve rest of Section 6 a bit