Corrected section 3.5.2