pull down to refresh

There are also obvious downsides to replacing the IRS with consumption taxes, as many commenters noted.