works up to section 3.2