https://www.taxconnections.com/taxblog/the-dual-citizen-exception-to-the-exit-tax/