Title: The first four rules of arithmetic