Sections 5.5, 5.6 processed