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://hollandscountryclothinges.shop/product-category/dry-bags/