AND...the imputed income. Imagine Guido, the IRS collector, wanting his cut of the $520k “windfall”
I would argue that because of the lien the fair market value of the house is ‘ZERO’, because the house can not be sold without clearing the lien the lien is more than the house’s value.