finish section 9.3.1