arithmetizes

not defined yet