adding covariance, revising axioms on correlation coefficient accordingly