Premise: Their $4,000 IRA contributions are fully deductible.
Hypothesis: The IRA didn't contribute anything to the deductible 
Label: contradiction