  We prove an existence theorem for good moduli spaces, and use it to construct
the second flip in the log minimal model program for the moduli space of stable
curves. In fact, our methods give a uniform, self-contained construction of the
first three steps of the log minimal model program for the moduli spaces of
stable pointed curves.
