Title: Holt arithmetic