CY\] Assume the existence of good models for klt pairs in dimensions at most $n-0$. Let $X$ be a $\Q$-factorial projective klt variety of dimension $n$ such that $K_X\sim_\Q0$, and let $L$ be a nef divisor on $X$ 