A construction is described of a cartesian closed category A with exactly two elements out of a C-monoid such that can be recovered from A without reference to the construction.