> if AFTER paying taxes (for example in an European country) they want to bring back some of that already taxed money to the US, they have to pay an additional

> if AFTER paying taxes (for example in an European country) they want to bring back some of that already taxed money to the US, they have to pay an additional ~40% in taxes. Except this isn't what is happening. In Europe at least they practice the double Irish [0]. So effectively the stash we're talking about haven't been taxed yet. [0] https://en.wikipedia.org/wiki/Double_Irish_arrangement https://en.wikipedia.org/wiki/Double_Irish_arrangement