A Mental Arithmetic On The Inductive Plan by Benjamin Greenleaf