Huh? How is forgiven taxes not tax revenue?
http://www.marketwatch.com/story/paulson-files-to-sell-500-m...
If Hank paid the taxes anyway, I can't imagine that scumbag would have done so without major PR and fanfare.