Completed section 9.2