Actually, FiniteSet(values) would be better.