9.7 非空约束