The Revenue Consequences of Using Formula Apportionment to Calculate U.S. and Foreign-Source Income: A Firm-Level Analysis