Writing up the MVN case carefully