preservation public under condition 380 List Picture As a command %3 n0 preservation n1 condition n1->n0