arithmetizations

not defined yet