On Wed, Dec 11, 2013 at 12:33:10PM -0800, Christopher Smith wrote:
>    Actually, FiniteSet(values) would be better.

Naturals0 is not a FiniteSet.