Completed section 7.4.2