It is, but maybe he had Dijkstra as a professor.