We study implications of habit formation for optimal taxation. First, we show that taxation problems with habit formation can be analyzed using dynamic programming techniques. Second, we derive optimal labor and savings wedges for habit formation preferences. We show that habit formation...