Update sec_4.2.rst