finish section 7.1.4