 If the relative canonical ring is finitely generated (as an algebra over formula_22 ) then the morphism formula_25 is called the flip of formula_26 if formula_27 is relatively ample, and the flop of formula_26 if "K" is relatively trivial.