Finish section 6.3.3