arithmetization

not defined yet