Hart, W. D. Natural Numbers. CRHF 1991, 23, 61-81.