up to section 6.4