Redefinition.