prime-number public under natural-number 4 List Picture As a command %3 n0 prime-number n1 natural-number n1->n0