How does this fit with the Double Cover proof and the IMO solutions that were just released? Some of the IMO solutions are insanely complex compared to the way the problem committees have historically designed them in terms of what’s strictly necessary to solve them.
