Sale and reinvestment in main residence.