The compression of a spring after a collision.