finite-field public under finite-set 3, mathematical-field 2 List Picture As a command %3 n0 finite-field n1 finite-set n1->n0 n2 mathematical-field n2->n0