And of course this one down here, that unfortunately has to stay blank but not because we're sure that these problems, vertex cover, independent set, and clique don't have a polynomial time algorithm but simply because we don't really know yet. 