We provide theoretical foundations for several common (nested) representations of intrinsic linear habit formation. Our axiomatization introduces an intertemporal theory of weaning a decision-maker from her habits using the device of compensation. We clarify differences across specifications of...