Added section 7.3