New outlook on the Minimal Model Program, II

We prove that the finite generation of adjoint rings proved in [Cascini and Lazi'c] implies all the foundational results of the Minimal Model Program: the Rationality, Cone and Contraction theorems, the existence of flips, and termination of flips with scaling in the presence of a big boundary.