Let $\pi:X \to U$ be a projective morphism, and $(X, \Delta = A + B)$ be a KLT pair, where $A$ is a general ample divisor and $B$ is effective. 


Suppose $K\_X + \Delta$ is not nef (over $U$) and there exists a nef divisor $C$ such that $K\_X + \Delta + C$ is nef. Then there exists an extremal ray $R$ which is $(K\_X + \Delta)$-negative and there exists $\lambda \in (0,1]$ such that $K\_X + \Delta + \lambda C$ is nef but trivial on $R$. Now, we run MMP with scaling $C$, my questions are the following:


Suppose $f: X \to Z$ is the contraction of the extremal ray $R$, if it is a divisoral contraction, in order to run MMP, we need to use $(Z, \Delta')$ replace $(X, \Delta)$ where $\Delta' = f\_\* \Delta$, why in this case $K\_Z + \Delta' + \lambda C'$ is nef ( here $C'$ is $f\_\*C$)?


Similarly, if $f$ is a small contraction, and suppose the flip $X^+$ exists, why $K\_{X^+}+ \Delta^+ + \lambda C^+$ is nef?



A question about running MMP with scaling
We have $K\_X+\Delta +\lambda C=f^\*(K\_Z+\Delta '+\lambda C')$ by the Base Point Free Thm (3.3 and 3.7(4) in Koll\'ar-Mori 1998). Clearly $K\_Z+\Delta '+\lambda C'$ is nef. If $f^+:X^+\to Z $ is the flip, then $K\_{X^+}+\Delta^+ +\lambda C^+={f^+}^\*(K\_Z+\Delta '+\lambda C')$ where $\Delta^+ $ and $C^+$ are the strict transforms of $\Delta$ and $C$. Thus $K\_{X^+}+\Delta^+ +\lambda C^+$ is nef (as it is the pull back of a nef $\mathbb Q$-divisor).


