rename Definition to Def