Redefinitions

Definition of Redefinitions