rename Def to DefRes