Add Sections 4.1.5, 4.1.6 and 4.1.7.