Intermediate Arithmetic On The Inductive by Matthew Nicholson