division-ring public under mathematical-ring 8 List Picture As a command %3 n0 division-ring n2 mathematical-field n0->n2 n1 mathematical-ring n1->n0