Correlation and Constrained DFT