1：在形式语言里，契约的某些部分是否难以或者无法表达，而只能通过人类语言来表述？