End of section 4.4