Added redefinition documentation.