逻辑不变、预期不变