Added section 5.5