Title: Practical Arithmetic on the Inductive Plan