13.4.2 理性委托计算协议构造