Paul Krugman on tax revenue maximization