upper-bound public under number 42 List Picture As a command %3 n0 upper-bound n2 supremum n0->n2 n1 number n1->n0