Define twice projected CovD with DefCovD