Why None, not Naturals0?