Comment by conjectureproof | Hacker News Reader