arithmetizations