Officially, International Revenue Code section 877 says that if US citizens renounce their citizenship to avoid income taxes, and the IRS can prove it, their tax liability remains.