The arithmetic