some structure to arithmetic