Because this constraint is nonholonomic, Liouville's theorem does not apply, and although energy is conserved, the motion is dissipative in the sense that phase space volume is not conserved.
Sleigh Ride | Sylvia Sleigh | Bernard Sleigh |