We use a model of automation to show that with the current U.S. tax system, a fall in automation costs could lead to a massive rise in income inequality. This inequality can be reduced by raising marginal income tax rates and taxing robots. But this solution involves a substantial efficiency...