Proved Galvin's result, for Cov_CS