Redefinition from above.