What would Dijkstra do? Proving the associativity of min | Hacker News Reader