arithmetized
not defined yet