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