End of section 3.4