You Can't Prove Everything That's True | Hacker News Reader