Maze proof establishes a 'backbone' for statistical mechanics | Hacker News Reader