...Then is there still a number that gets put into line 25 of your 1040, or is that double dipping? Working through form 8889 and the associated instructions, it seems that you not only get the tax benefit on your paycheck, but then at tax time another tax benefit in lowering your AGI. I think I am missing something...