Title: Revenue Estimates under Various Methods of Taxing Americans Abroad