This paper studies implementation of the social optimum in a model of habit formation. We consider taxes that address inefficiencies due to negative consumption externalities, imperfect competition, and self-control problems. ...