A problem about representations of countable, commutative semigroups leads to an analytic non-Borel set.