Added Asger's proof of P(T1=T2) = Cov[T1,T2]