Finished section 7.1.2.