% References cited in https://agora.t9k.dev/t/55/termination-of-projective-and-k-hler-fourfold-minimal-model-programs