Mildred is an active participant in an employer-sponsored retirement plan, but her husband, Franklin, is not. Their combined adjusted gross income (AGI) for 2024 is $145,000. They each contributed $7,000 to an IRA this year. Which of the following statements regarding the deductibility of the IRA contributions is CORRECT?