The National Arithmetic On The Inductive by Benjamin Greenleaf