for the discerning arithmetician