Simplify CSP