Randomized query complexity can beat certificate complexity | Dark Hacker News