Let's play semantic games. You did actually pay those taxes. That's why it is called Over-pay-ment when you get some of that back.
You are not paying twice. You are computing your total tax. And reporting the final result on the Form 1040.
