Continue from section 7.2