invariance public under attribute 1028 List Picture As a command %3 n0 invariance n1 attribute n1->n0