End of section 8.3