Dijkstra: The Hopcroft-Tarjan algorithm on planarity - was that ever executed?
Hopcroft: Yes, it was.
Dijkstra: Was that necessary?
Hopcroft: Yes, to get the bugs out of the algorithm.