redefinitions