some kind of redefinition