singleton-set public under finite-set 3 List Picture As a command %3 n0 singleton-set n1 finite-set n1->n0