integral-domain public under commutative-ring 4 List Picture As a command %3 n0 integral-domain n1 commutative-ring n1->n0