Title: Synthetic arithmetic ..