end of section 3.2