BCHM

PreBCHM

including KM98
we can run mmp for klt Q-factorial pairs, except existence of flip.

BCHM

MMP for \((X,B)\) klt and \(B\) big

PostBCHM

non-Q-factorial, lc, etc