The motion of a collection of closely packed orbits associated with a single harmonic oscillator undamped (left) and damped (right). Only the undamped oscillator obeys Liouville's theorem.