This paper describes the infinite-horizon general equilibrium model that, among other models, CBO uses for its analysis of the President's budgetary proposals. Agents in the model live forever and face uninsurable, individual-specific working-ability shocks and borrowing constraints, and so they...