9.3.1 相合约束