One of the Olympiads instructors, Nikita Gladkov, has recently disproved an important combinatorial hypothesis, known as the bunkbed conjecture. He has made a handout where his work is broken into problems, giving students a chance to rediscover the result.