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://allfixelectricales.shop/product-category/dryer-maintenance-kit/