三、作为契约机制的程序