第三节 约束语言中的契约与债务