"redefine" . . .