Vertical spring problem explanation