Theoretically, could we balance the budget painlessly? — LessWrong