Fixed, especially to the MVN second moments proof
Resolve merge
Sigma to sigma hat
Final version