Randomized query complexity can beat certificate complexity | Hacker News Reader