$4,000 tax-deductible