Redefinitions