What is the formal name for the closing protocol of a treaty?