AND he does not have to report the income gain. Yes he does. We've covered all this many, many times in the past.