Retirement tax questions

Thank you for your helpful response.

Since I was using TurboTax at the time, I'll say that TurboTax must have overlooked the deduction. That's disappointing.