Lifetime contributions are not reported on your federal tax return. Only non-deductible contributions are reported when, as in this year, you are taking an RMD.
