Added section 4.2