What is the point in proving that a program can win with 25 stones (considered it plays in a certain way that it doesn't play) when the existing programs give professionals a hard time with less than 9 stones already?