arithmetize
not defined yet