Exporting the Tax Code