Removed the bit on CSP's failure/divergence model.