REDEFINITIONS

Definition of REDEFINITIONS