Title: The practice and theory of arithmetic