modular-arithmetic public under arithmetic 1 List Picture As a command %3 n0 modular-arithmetic n1 arithmetic n1->n0