Title: A Treatise on Arithmetic : Combining Analysis and Synthesis