Added better explanation of P = FPF' + Q. Moved conversion of multivariate equations to univariate eqs. to the math chapter. Moved the walkthrough of KalmanFilter to an appendix.