Retirement tax questions

So the fact that it is recorded as withheld means nothing? How the heck does it credited then rather than paying it twice. That’s my point—it’s been paid already.