Elvin is single, age 35, and has total wages of $72,000. His adjusted gross income is also $72,000 before any IRA contribution. Elvin works for the Murphy Corporation, which sponsors a retirement plan that Elvin participates in. In addition, Elvin contributes $6,000 to his IRA account. What amount can Elvin deduct on his 2023 income tax return