logical-conjunction public under logical-connective 4 List Picture As a command %3 n0 logical-conjunction n1 logical-connective n1->n0