After you file

I understand now that the refund I got should is considered to be an itemized deduction recovery, and that I must count it as Other Income to the extent I received a tax benefit for the deduction in 2017 and in all applicable prior years.