Add notes on redefinition, what to do next?