identities C(x)