This paper studies the effect of habit formation on optimal capital taxes in a dynamic Mirrleesian model. We make three distinct contributions. First, we decompose intertemporal wedges (implicit capital taxes) for general time-nonseparable preferences into a wealth effect, a complementarity...