End of section 6.2