Finish section 9.2