Retirement tax questions

@dmertz, I’ve slept on this for a few days and ran through things again and I think I must have gotten mixed up.

 

The $13,988 that was rolled over to a traditional IRA from an employer plan was pre-tax and would have been considered deductible. It was not after-tax, thus shouldn’t be considered nondeductible. Since it was pre-tax then when $4,845 was converted to Roth then that amount should be taxable, correct?