[TUHS] Happy birthday, Edsger Dijkstra!