nonnaturals

not defined yet