aaah, all the arithmetic should be modular