So it seems we can claim $7000 from our taxable income? That seems like a pretty good deduction!