Updated section 4.2