starting section 6.3.5