23.3.2 广义约束