Completed section 7.3.3