Continuing section 5.7