Intermediate Arithmetic On The Inductive door Matthew Nicholson