Finished section 9.3 and before beginning 9.4