Title: Synthetic Arithmetic ...