原则：在一致性边界之内建模真正的不变条件