Covariance derivations in appendix