  In this paper, we discuss a proof of existence of log minimal models or Mori
fibre spaces for klt pairs $(X/Z,B)$ with $B$ big$/Z$. This then implies
existence of klt log flips, finite generation of klt log canonical rings, and
most of the other results of
  Birkar-Cascini-Hacon-McKernan paper.
