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