Retirement tax questions

@dmertz If you put money into a traditional IRA to do this offset and it's post tax dollars (i.e. the situation is trying to offset a 401K loan distribution which was used on the down payment of a home but then switched jobs) then wouldn't you get taxed a second time when your retire and take out the funds?