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