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