Adding  redefinition