Title: Arithmetic progress test