Add Section 4.1.4.