end of section 9