cardinality public under invariant 1, number 42 List Picture As a command %3 n0 cardinality n1 invariant n1->n0 n2 number n2->n0