Completes up to section 9.3.2.