Added section 3.9