Day-2 primitives for CNF with proxy charms

No match.