Their $4,000 IRA contributions are fully deductible.
The IRA didn't contribute anything to the deductible 
mnli hypothesis: The IRA didn't contribute anything to the deductible  premise: Their $4,000 IRA contributions are fully deductible.