  We give a new and self-contained proof of the finite generation of adjoint
rings with big boundaries. As a consequence, we show that the canonical ring of
a smooth projective variety is finitely generated.
