We provide theoretical foundations for several common (nested) representations of intrinsic linear habit formation. These representations are dynamically consistent and additive, with geometrically decaying coefficients of habit formation. Our axiomatization introduces a revealed preference theory of weaning a decision-maker from her habits using the device of compensation. We characterize linear habit formation in terms of the ability to wean using uniquely determined compensating streams.