Let k be a field, and let π:X~⟶X be a proper birational morphism of irreducible k-varieties, where X~ is smooth and X has at worst quotient singularities. When the characteristic of k is zero, a theorem of Kollár [7] says ...