Complete up to section 4.1.5