independent-set public under induced-subgraph 2 List Picture As a command Nothing is filed under independent-set.