arithmetically
not defined yet