Definition of "redefines"