Add procedures defined in Section 3.1.1