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