A Decades-Old Computer Science Puzzle Was Solved in Two Pages