Probabilistic Assertions | Hacker News Reader