a 30 year old CS puzzle is solve in 2 pages https://www.wired.com/story/a-decades-old-computer-science-puzzle-was-solved-in-two-pages/