Retirement tax questions

The 20% is probably withholding like withholding on your paychecks. You get credit for it. That shows up on your tax return on line 64 with your other withholding and is subtracted from your tax liability.