Their $4,000 IRA contributions are fully deductible.
IRA contributed a $4000 deductible