End of section 8.2