thomas, age 35, is a single taxpayer and an active participant in his employer's qualified retirement plan. how much, if any, of his $6,500 2023 ira contribution can he deduct?