- sections/basic: Added examples for the CSP and COP theory