finish section 7.2.3