https://www.taxconnections.com/taxblog/topsnik-2-green-card-expatriation-and-the-exit-tax/