Jimmy and Dee Dee, both age 35, are married and filed a joint Federal income tax return for 2023. Jimmy earned a salary of $140,000 and was covered by his employer's pension plan. Dee Dee was not employed and the couple had no other income. On June 15, Jimmy contributed $6,500 to an IRA for himself and $6,500 to an IRA for Dee Dee. The allowable IRA deduction on Jimmy and Dee Dee's year 2023 joint tax return is