End of section 5.1