The only difference between box 1 & 3 is her 403b deduction so I dont believe it was pretax. That is why I put the 4000 on form 8889S in box 2. But proseries only lets her deduct 3000 & taxes her on excess if 1000.
