Actually, if principal amounts are reduced, that should be noted in public records, and it should be mandated that future appraisals use these as comps.
After all, that was the real purchase price of the house, not the original, artificially-inflated price. The “written-down” price is the actual price the buyer could afford; therefore, it is the true sales price.
