up to section 5.9