Numerical Semiampleness of Nef Adjoint Divisors

We prove the Generalised Abundance Conjecture: if $(X,B)$ is a projective klt ℚ-pair over an algebraically closed field of characteristic zero, $K_X+B$ is pseudo-effective, M is a nef ℚ-Cartier divisor on X, and $K_X+B+M$ is nef, then $K_X+B+M$ is numerically equivalent to a semiample ℚ-Cartier divisor on X.