Many changes, including new P(same) = cov proof