Retirement tax questions

Thank you sirji..

If you can point me to a IRS doc that mentions that, would be of great help for my records to file.