arithmetic public under mathematics 79 List Picture As a command %3 n0 arithmetic n2 modular-arithmetic n0->n2 n1 mathematics n1->n0