Basically. He really fucked up his expatriation. And as we have learned recently, even if you aren’t a US citizen, you don’t mess with the IRS. 😂