Add procedures defined in Section 1.2.6