first CCS, then CSP