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://jalyttlers.shop/product-category/cupcake-cases/