Example Problems from the Logic Olympiad | Dark Hacker News