Title: The Kalman smoother