particular-proposition public under proposition 24 List Picture As a command %3 n0 particular-proposition n1 proposition n1->n0