... *arithmetic is* ...