Def Reduction