program-invariant public under property 35 List Picture As a command %3 n0 program-invariant n1 property n1->n0