We present CO2. a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language. our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. https://foldlyers.shop/product-category/power-adapters/