independent-set public under induced-subgraph 2 List Picture As a command %3 n0 independent-set n1 induced-subgraph n1->n0