Springs and Hooke's law