We build a tractable heterogeneous-agent incomplete-markets model with quasi-linear preferences to address a set of long-standing issues in the optimal Ramsey taxation literature. The tractability of our model enables us to analytically prove the existence of a Ramsey steady state and establish...