The consequences of these additional propositions about C1 are monotonic.

• 对C1进行这样的假设的结果是单调的。