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