This paper presents a model of optimal taxation in which both private agents and the government can default on their debt. We first consider Ramsey equilibria in which the government can precommit to its policies but in which private agents can default. We then consider sustainable equilibria in...