Robertson and Seymour, Kruskal and Kuratowski, Hilbert and Godel, Hercules and Friedman, and more ..., Presentation uri icon