invariant public under feature 2 List Picture As a command %3 n0 invariant n2 cardinality n0->n2 n1 feature n1->n0