includes event Robertson and Seymour, Kruskal and Kuratowski, Hilbert and Godel, Hercules and Friedman, and more ...,