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://lightspeedlovers.shop/product-category/massage-oils-and-candles/