#1788
page 127, line 5
Page 127, line 1: "In the best case - a game that is provably winning - the search only has to explore roughly the square root of the search space: a single move at winning positions and all moves at losing positions. This means that a proof of the game-theoretic value of checkers might require a search of as few as 10^9 positions".
#1788
page 127, line 5