Up to section 6.2.3