name redefined