Improve beginning of Section 3