Title: Practical Arithmetic, by Induction and Analysis